Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Raphaël Couturier »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Raphaël Certain < Raphaël Couturier < Raphaël Fournier  Facettes :

List of bibliographic references indexed by Raphaël Couturier

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]
Ident.Authors (with country if any)Title
003F93 (2008-06) Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France]An efficient and robust decentralized algorithm for detecting the global convergence in asynchronous iterative algorithms
004425 (2008) Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France]An Efficient and Robust Decentralized Algorithm for Detecting the Global Convergence in Asynchronous Iterative Algorithms
004E49 (2007) Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France]Parallel Iterative Algorithms: from sequential to grid computing
009875 (2000) Raphaël CouturierUtilisation des méthodes formelles pour le développement de programmes parallèles
009D24 (2000) Raphaël Couturier [France] ; Christophe Chipot [France]Parallel molecular dynamics using OpenMP on a shared memory machine
009F58 (2000) Raphaël Couturier [France]Trois expérimentations parallèles différentes en simulation numérique
00A353 (1999-07) Raphaël Couturier [France] ; Bertrand Couturier [France] ; Dominique Méry [France]A compiler for parallel Unity programs using OpenMp
00A374 (1999) Raphaël Couturier [France]Trois expérimentations parallèles différentes en simulation numérique
00A380 (1999) Raphaël CouturierTrois expérimentations parallèles différentes en simulation numérique
00A788 (1999) Raphaël Couturier ; Bertrand Couturier ; Dominique Méry [France]A compiler for parallel Unity programs using OpenMp
00AF31 (1998) Raphaël CouturierParallélisation d'une simulation Monte Carlo d'un système de spins et preuve
00AF86 (1998) Raphaël Couturier ; Dominique Méry [France]An experiment in parallelizing an application using formal methods
00B026 (1998) Raphaël Couturier ; Dominique Méry [France]Parallelization of a Monte Carlo simulation of a spins system
00B030 (1998) Raphaël CouturierFormal engineering of the bitonic sort using pvs
00B395 (1998) Raphaël Couturier [France] ; Dominique Méry [France]An experiment in parallelizing an application using formal methods
00B486 (1998) Raphaël Couturier [France]Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve
00B604 (1998) Raphaël Couturier [France] ; Dominique Méry [France]Parallelization of a Monte Carlo simulation of a spins system
00B649 (1998) Raphaël Couturier [France]Formal engineering of the bitonic sort using pvs
00B694 (1998) Raphaël Couturier [France] ; Dominique Méry [France]An experiment in parallelizing an application using formal methods
00BA04 (1997) Raphaël Couturier ; Dominique Méry [France]Coordination of abstract machines
00BA61 (1997) Didier Galmiche ; Raphaël CouturierGuarded Commands and Proofs in Linear Logic

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Raphaël Couturier" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Raphaël Couturier" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Raphaël Couturier
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022